Abstract machine - PDFSEARCH.IO - Document Search Engine

Abstract machine
Results: 823

#	Item
381	Parallel Execution of Prolog Programs: a Survey GOPAL GUPTA University of Texas at Dallas ENRICO PONTELLI New Mexico State University KHAYRI A.M. ALI Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2010-04-03 13:35:16 Programming paradigms Logic programming Constraint programming Prolog Warren Abstract Machine Logic Constraint logic programming Parallel computing Procedural programming Software engineering Computer programming Computing
382	The tree machine? Arnaud Spiwack MINES ParisTech Abstract. A variant of Turing machines is introduced where the tape Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-02-19 09:03:36 Mathematics Computability theory Formal methods Turing machine Random access machine Computational complexity theory Algorithm Lambda calculus FO Theory of computation Models of computation Theoretical computer science
383	Efficient Ring-LWE Encryption on 8-bit AVR Processors Zhe Liu1 , Hwajeong Seo2 , and Sujoy Sinha Roy3 , Johann Großsch¨adl1 , Howon Kim2 , Ingrid Verbauwhede3 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-02 00:52:44 Cryptography Learning with errors Machine learning Polynomial Multiplication Modular arithmetic RSA Fast Fourier transform Abstract algebra Mathematics Algebra
384	An Inertial Sensor-based System to Develop Motor Capacity in Children with Cerebral Palsy Shuo Qiao, Anil Prabhakar, Nitin Chandrachoodan, Namita Jacob, Harshvardhan Vathsangam Abstract—Learning to communicate with alt Add to Reading List Source URL: robotics.usc.edu Language: English - Date: 2013-06-01 19:27:56 Augmentative and alternative communication Health Cerebral palsy Vision Robotics Musical gesture Nonverbal communication Machine learning Pointing device gesture User interface techniques Gesture Artificial intelligence
385	Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage -orHow to Store Ballots on a Voting Machine (Extended Abstract) David Molnar UC Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 Electronic voting Electoral systems Computer memory Sociology Government Voting machine Voter-verified paper audit trail Voting system Ballot Politics Elections Election fraud
386	Emitting Scala class files via ASM c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia April 4th , 2012 Abstract Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2012-04-25 08:10:56 System software Java bytecode Java virtual machine Java Exception handling Bytecode Computing Software Cross-platform software
387	Compositional Sentiment Analysis Stephen Pulman Dept. of Computer Science, Oxford University and TheySay Ltd , @sgpulman Add to Reading List Source URL: sentimentsymposium.com Language: English - Date: 2014-03-12 10:33:52 Abstract algebra Vectors Natural language processing Computational linguistics Sentiment analysis Treebank Vector space Euclidean vector Machine learning Algebra Mathematics Linear algebra
388	Learning Attitudes and Attributes from Multi-Aspect Reviews Julian McAuley, Jure Leskovec, Dan Jurafsky Stanford Abstract—The majority of online reviews consist of plaintext feedback together with a single numeric scor Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2012-10-22 11:32:11 Science Statistics Computational linguistics Automatic summarization Data mining Beer rating Sentiment analysis Semi-supervised learning Grammatical aspect Machine learning Artificial intelligence Natural language processing
389	Session PREDICTING STUDENT PERFORMANCE: AN APPLICATION OF DATA MINING METHODS WITH THE EDUCATIONAL WEB-BASED SYSTEM LON-CAPA Behrouz Minaei-Bidgoli 1, Deborah A. Kashy 2, Gerd Kortemeyer 3, William F. Punch 4 Abstract æ Add to Reading List Source URL: www.lon-capa.org Language: English - Date: 2010-01-03 16:37:04 Statistical classification Parts of speech Classifier Naive Bayes classifier Genetic algorithm Feature selection Perceptron Random subspace method Learning classifier system Statistics Machine learning Artificial intelligence
390	Journal of Machine Learning Research523 Submitted 6/10; Published 2/11 Learning Multi-modal Similarity Brian McFee Add to Reading List Source URL: bmcfee.github.io Language: English - Date: 2015-03-31 11:15:28 Abstract algebra Eigenvalues and eigenvectors Matrix theory Singular value decomposition Hilbert space Embedding Directed acyclic graph Matrix Nonlinear dimensionality reduction Algebra Mathematics Linear algebra

UPDATE